/*
 * When in kernel-mode, we cannot use printf, as fs is liable to
 * point to 'interesting' things. Make a printf with fs-saving, and
 * all is well.
 */
#include <stdarg.h>
#include <stdio.h>

int printk(const char *fmt, ...)
{
	char buffer [1024];
	va_list args;
	va_start(args, fmt);
	vsprintf(buffer,fmt,args);
	va_end(args);
	fprintf(stderr, buffer);
	return 0;
}
